Helmut Schwichtenberg: buscar en el sitio web de Z-Library

Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Libre acceso a los conocimientos y la cultura.

Donaciones 15 de septiembre 2024 – 1 de octubre 2024

Z-Library es una de las bibliotecas en línea más grandes del mundo que contiene más de 17,000,000 libros y 84,837,000 artículos. Nuestro objetivo es hacer que la literatura sea accesible para todos. Hoy (15 de septiembre 2024) hemos empezado a recaudar donaciones adicionales para el soporte y desarrollo del proyecto.

También hay descargas ILIMITADAS (durante 31 días después del día de la donación) disponibles para TODOS los usuarios que apoyen el proyecto durante el período de recaudación de fondos hasta el 1 de octubre 2024.

Acerca de la recaudación de fondosVer más

Hacer una donación

Libros (20)
Más populares
Lista
- Lista
- Tabla

1

Proofs and Computations

Proofs and Computations

Association for Symbolic Logic [ASL] ; Cambridge University Press [CUP]

Helmut Schwichtenberg, Stanley S. Wainer

Año:

2012

Idioma:

english

Archivo:

PDF, 2.80 MB

0 / 0

english, 2012

2

Handbook of Constructive Mathematics

Handbook of Constructive Mathematics

Cambridge University Press

Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg

Año:

2023

Idioma:

english

Archivo:

PDF, 16.59 MB

0 / 5.0

english, 2023

3

Handbook of Constructive Mathematics

Handbook of Constructive Mathematics

Cambridge University Press

Douglas Bridges (editor), Hajime Ishihara (editor), Michael Rathjen (editor), Helmut Schwichtenberg (editor)

Año:

2023

Idioma:

english

Archivo:

PDF, 5.11 MB

0 / 5.0

english, 2023

4

Handbook of Constructive Mathematics

Handbook of Constructive Mathematics

Cambridge University Press

Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg

Año:

2023

Idioma:

english

Archivo:

PDF, 5.99 MB

0 / 4.0

english, 2023

5

Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer

Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer

Schwichtenberg, Helmut, Wainer, Stanley S

Año:

2012

Idioma:

english

Archivo:

PDF, 2.20 MB

0 / 0

english, 2012

6

Basic proof theory

Basic proof theory

Cambridge University Press

A S Troelstra, Helmut Schwichtenberg

Año:

2000

Idioma:

english

Archivo:

DJVU, 3.32 MB

0 / 0

english, 2000

7

Logic and Algebra of Specification

Logic and Algebra of Specification

Springer-Verlag Berlin Heidelberg

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)

Año:

1993

Idioma:

english

Archivo:

DJVU, 4.03 MB

0 / 0

english, 1993

8

Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 13.23 MB

0 / 0

english, 1999

9

Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)

Año:

1999

Idioma:

english

Archivo:

DJVU, 4.02 MB

0 / 0

english, 1999

10

Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy

Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy

World Scientific Publishing Company

Klaus Mainzer, Helmut Schwichtenberg, Peter Schuster

Año:

2018

Idioma:

english

Archivo:

PDF, 5.55 MB

0 / 0

english, 2018

11

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Año:

2001

Idioma:

english

Archivo:

PDF, 2.52 MB

0 / 0

english, 2001

12

Logic and Algebra of Specification

Logic and Algebra of Specification

Springer-Verlag Berlin Heidelberg

Wilfried Brauer (auth.), Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg (eds.)

Año:

1993

Idioma:

english

Archivo:

PDF, 15.90 MB

0 / 0

english, 1993

13

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

Año:

1997

Idioma:

english

Archivo:

PDF, 12.55 MB

0 / 0

english, 1997

14

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

Año:

2001

Idioma:

english

Archivo:

PDF, 1.73 MB

0 / 0

english, 2001

15

Proof and Computation

Proof and Computation

Springer-Verlag Berlin Heidelberg

Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)

Año:

1995

Idioma:

english

Archivo:

PDF, 33.16 MB

0 / 0

english, 1995

16

Proof and System-Reliability

Proof and System-Reliability

Springer Netherlands

G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)

Año:

2002

Idioma:

english

Archivo:

PDF, 12.35 MB

0 / 0

english, 2002

17

Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy

Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy

World Scientific Publishing

Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg

Año:

2018

Idioma:

english

Archivo:

PDF, 5.55 MB

0 / 0

english, 2018

18

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

Año:

2000

Idioma:

english

Archivo:

PDF, 3.26 MB

0 / 0

english, 2000

19

Logic of Computation

Logic of Computation

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)

Año:

1997

Idioma:

english

Archivo:

DJVU, 3.21 MB

0 / 0

english, 1997

20

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)

Año:

2000

Idioma:

english

Archivo:

PDF, 5.77 MB

0 / 0

english, 2000